Research Areas in the strategic objective, “Elucidation of basic principles for innovative energy conversion, and synthesis of new materials, development of new energy harvesting devices, and other core technologies, t

Source URL: www.senryaku.jst.go.jp

• National Renewable Energy Laboratory
• United States Department of Energy National Laboratories
• Battelle Memorial Institute
• Golden
• Colorado

BRICS RSBRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Physics
• Quantum computer
• Quantum circuit
• Density matrix
• Quantum channel
• Commitment scheme
• BB84
• Qubit
• Quantum key distribution
• Theoretical computer science
• Quantum information science
• Quantum mechanics

BRICS Basic Research in Computer Science BRICS RSJ. B. Nielsen: Non-Committing Encryption is Too Easy in the Random Oracle Model Non-Committing Encryption is Too Easy in

Source URL: www.brics.dk

BRICS DS-04-3 J. Groth: Honest Verifier Zero-knowledge Arguments Applied BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Group signature
• IP
• NP
• Commitment scheme
• Soundness
• BRIC
• Alice and Bob
• Cryptography
• Cryptographic protocols
• Zero-knowledge proof

Using basic neurobiological measures in criminological research

Source URL: www.crimesciencejournal.com

• Forensic psychology
• Criminology
• Abnormal psychology
• Behavioural sciences
• Psychopathy
• Conduct disorder
• Antisocial personality disorder
• Neuropsychology
• Psychology
• Psychiatry
• Clinical psychology
• Behavior

Chapter 7 Limitations on the Overlap of Proposals within the Strategic Basic Research Programs With regard to the Invitation for Application of Research Proposals for CREST and PRESTO in FY 2015, based on administration

Source URL: www.senryaku.jst.go.jp

BRICS Basic Research in Computer Science BRICS DS-01-9 F. F. Rodler: Compression with Fast Random Access

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSJ. Groth: Extracting Witnesses from Proofs of Knowledge Extracting Witnesses from Proofs of

Source URL: www.brics.dk

• Cryptographic protocols
• Proof of knowledge
• Non-interactive zero-knowledge proof
• Interactive proof system
• IP
• Zero-knowledge proof
• NP
• Soundness
• Oracle machine
• Theoretical computer science
• Cryptography
• Computational complexity theory

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

Terms of Reference - ERA.Net RUS Plus Joint Call RUSSIAN FEDERATION Russian Foundation for Basic Research The following call topics of the joint call are supported by “Funding Institution”:

Source URL: www.era.net-rus.eu